Revision: tlacontrib--bulb--1.2--patch-38
Archive: bulb@ucw.cz--pub-1
Creator: Jan Hudec <bulb@ucw.cz>
Date: Fri Mar 26 23:43:16 CET 2004
Standard-date: 2004-03-26 22:43:16 GMT
Modified-files: shrink-library
New-patches: bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-38
Summary: Better fix for shrink-library.
Keywords: 

    * shrink-library: Hell the Aaron's solution was complicated --
      tla has a library-find command, so just use it.

